Section: New Results

Expressing IoT security constraints

Participants : Stéphanie Challita, Robert de Simone.

In the framework of Inria Project Lab SPAI, we are considering extensions of the logical time constraint style of CCSL, in order to encompass locality information as well as the duality between (dynamic) agents and (static) resources. Once an appropriate framework has been defined to express occupancy of resources by agents through (logical) time, notions of access rights, enclaves, privileges and priorities may be encoded straightforwardly, and rules governing their proper secure use can be expressed as properties. Results will be presented at the completion of Stephanie Challita postdoctoral period.